Ionospheric E-region Irregularities Produced by Non-linear Coupling of Unstable Plasma Waves

Ionospheric E region irregularities produced by nonlinear coupling of unstable plasma wave

State Case Studies of Infant and Early Childhood Mental Health Systems: Strategies for Change

Profiles efforts to develop mental health identification and intervention systems for children up to age 5 in Colorado, Indiana, Massachusetts, and Rhode Island. Examines hurdles, reform potentials, and lessons learned, including the role of partnerships

A Hybrid Analysis for Security Protocols with State

Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complete that session. However, in some protocols a principal also uses state to coordinate its different local sessions. Sometimes the non-local, mutable state is used as a means, for example with smart cards or Trusted Platform Modules. Sometimes it is the purpose of running the protocol, for example in commercial transactions. Many richly developed tools and techniques, based on well-understood foundations, are available for design and analysis of pure message-passing protocols. But the presence of cross-session state poses difficulties for these techniques. In this paper we provide a framework for modeling stateful protocols. We define a hybrid analysis method. It leverages theorem-proving---in this instance, the PVS prover---for reasoning about computations over state. It combines that with an "enrich-by-need" approach---embodied by CPSA---that focuses on the message-passing part. As a case study we give a full analysis of the Envelope Protocol, due to Mark Ryan

Flight and wind-tunnel correlation of boundary-layer transition on the AEDC transition cone

Transition and fluctuating surface pressure data were acquired on a 10 deg included angle cone, using the same instrumentation and technique over a wide range of Mach and Reynolds numbers in 23 wind tunnels and in flight. Transition was detected with a traversing pitot-pressure probe in contact with the surface. The surface pressure fluctuations were measured with microphones set flush in the cone surface. Good correlation of end of transition Reynolds number RE(T) was obtained between data from the lower disturbance wind tunnels and flight up to a boundary layer edge Mach number, M(e) = 1.2. Above M(e) = 1.2, however, this correlation deteriorates, with the flight Re(T) being 25 to 30% higher than the wind tunnel Re(T) at M(e) = 1.6. The end of transition Reynolds number correlated within + or - 20% with the surface pressure fluctuations, according to the equation used. Broad peaks in the power spectral density distributions indicated that Tollmien-Schlichting waves were the probable cause of transition in flight and in some of the wind tunnels

In-flight transition measurement on a 10 deg cone at Mach numbers from 0.5 to 2.0

Boundary layer transition measurements were made in flight on a 10 deg transition cone tested previously in 23 wind tunnels. The cone was mounted on the nose of an F-15 aircraft and flown at Mach numbers room 0.5 to 2.0 and altitudes from 1500 meters (5000 feet) to 15,000 meters (50,000 feet), overlapping the Mach number/Reynolds number envelope of the wind tunnel tests. Transition was detected using a traversing pitot probe in contact with the surface. Data were obtained near zero cone incidence and adiabatic wall temperature. Transition Reynolds number was found to be a function of Mach number and of the ratio of wall temperature to adiabatic all temperature. Microphones mounted flush with the cone surface measured free-stream disturbances imposed on the laminar boundary layer and identified Tollmien-Schlichting waves as the probable cause of transition. Transition Reynolds number also correlated with the disturbance levels as measured by the cone surface microphones under a laminar boundary layer as well as the free-stream impact

WR146 - observing the OB-type companion

We present new radio and optical observations of the colliding-wind system WR146 aimed at understanding the nature of the companion to the Wolf-Rayet star and the collision of their winds. The radio observations reveal emission from three components: the WR stellar wind, the non-thermal wind-wind interaction region and, for the first time, the stellar wind of the OB companion. This provides the unique possibility of determining the mass-loss rate and terminal wind velocity ratios of the two winds, independent of distance. Respectively, these ratios are determined to be 0.20+/-0.06 and 0.56+/-0.17 for the OB-companion star relative to the WR star. A new optical spectrum indicates that the system is more luminous than had been believed previously. We deduce that the ``companion'' cannot be a single, low luminosity O8 star as previously suggested, but is either a high luminosity O8 star, or possibly an O8+WC binary system.Comment: 9 pages, 5 figures, ftp://fto.drao.nrc.ca/pub/smd/wr146/accepted.ps.gz To be published in Monthly Notices of the Royal Astronomical Societ